Finite-state machine

Results: 655



#Item
251Automata theory / Control theory / Applied mathematics / Cybernetics / Formal sciences / Finite-state machine / Markov chain / Feedback / Infinite impulse response / Models of computation / Statistics / Mathematics

Computational Mechanics of Input-Output Processes: Structured Transformations and the ε-transducer Nix Barnett James P. Crutchfield

Add to Reading List

Source URL: www.santafe.edu

Language: English - Date: 2014-12-08 14:27:30
252Spanning tree / Computer programming / Models of computation / Message Passing Interface / Parallel computing / Algorithm / I/O Automaton / Model checking / Finite-state machine / Computing / Automata theory / Theoretical computer science

Automated Implementation of Complex Distributed Algorithms Specified in the IOA Language∗ Chryssis Georgiou Nancy Lynch

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2005-11-11 05:43:22
253Theoretical computer science / Computer science / Software engineering / Formal languages / String searching algorithm / Deterministic finite automaton / Boyer–Moore–Horspool algorithm / Finite-state machine / Aho–Corasick string matching algorithm / Automata theory / Models of computation / String matching algorithms

Microsoft Word - JOC24-3-2.doc

Add to Reading List

Source URL: www.csroc.org.tw

Language: English - Date: 2014-05-27 10:49:49
254Concurrent computing / Process / Finite-state machine / Computing / Computer science / Electronics / Models of computation / Automata theory / Digital electronics

SWS FlowConnect support for Control Flow Patterns

Add to Reading List

Source URL: www.workflowpatterns.com

Language: English - Date: 2011-11-29 19:53:04
255Applied mathematics / Deterministic finite automaton / Nondeterministic finite automaton / Finite-state machine / Regular expression / Deterministic automaton / String searching algorithm / Powerset construction / Regular language / Automata theory / Theoretical computer science / Computer science

NFAs with Tagged Transitions, their Conversion to Deterministic Automata and Application to Regular Expressions Ville Laurikari Helsinki University of Technology Laboratory of Computer Science PL 9700, 02015 TKK, Finland

Add to Reading List

Source URL: laurikari.net

Language: English - Date: 2010-10-05 00:07:21
256Computer science / Applied mathematics / Deterministic pushdown automaton / Pushdown automaton / Nondeterministic finite automaton / Tree automaton / Deterministic finite automaton / Finite-state machine / Tree traversal / Automata theory / Models of computation / Theoretical computer science

Proceedings of the International Multiconference on Computer Science and Information Technology pp. 659–666 ISBN[removed]4 ISSN[removed]

Add to Reading List

Source URL: www.proceedings2009.imcsit.org

Language: English - Date: 2009-10-30 02:36:35
257Mathematical logic / Automata theory / Formal languages / Computability theory / Algorithm / Finite-state machine / Regular expression / Recursion / First-order logic / Mathematics / Theoretical computer science / Logic

TABLE OF CONTENTS ✦ ✦ ✦ ✦

Add to Reading List

Source URL: infolab.stanford.edu

Language: English - Date: 2008-09-19 00:24:43
258Finite-state machine / Channel / Computer science / Automata theory / Theoretical computer science / Models of computation

An Abstract Channel Specification and an Algorithm Implementing It Using Java Sockets

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2008-05-27 20:54:37
259Programming language theory / Fault-tolerant computer systems / Models of computation / ALGOL 68 / Consensus / I/O Automaton / Finite-state machine / Computing / Software engineering / Automata theory

On the Automated Implementation of Time-based Paxos Using the IOA Compiler ∗ Chryssis Georgiou† Procopis Hadjiprocopiou‡

Add to Reading List

Source URL: www.cs.ucy.ac.cy

Language: English - Date: 2010-09-22 05:54:39
260Models of computation / User interface management systems / Computer animation / ALGOL 68 / Algorithm / Finite-state machine / Actor model / Postcondition / Parallel computing / Computing / Software engineering / Computer programming

CHI95UpdatedFontForProperPagination.FMD.fm

Add to Reading List

Source URL: kurlander.net

Language: English - Date: 2008-06-20 13:42:08
UPDATE